COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source file
C00004 ENDMK
C⊗;
.require "let.pub" source file;
.<<
.FONT 1 "basl30"; TURN ON "%";
.FONT 2 "BASI30";
.FONT 3 "basb30";
.FONT 4 "sta200";
.FONT 5 "ngb25";
.>>
∂AIL Professor Andrei Ershov↓Computing Center↓Novosibirsk 630090 USSR∞
Dear Andrei:

	I would very much like to accept your invitation to visit Novosibirsk
September 10-13 and will be glad to give a talk on extensional forms.  I have
also accepted an Academy of Sciences invitation to be their guest at the
AI conference, and I will use this invitation to get a visa.  Therefore, I
will try to get the visa made until September 17 on the basis of your
letter of 16 June.

	I would like to leave the Soviet Union by way of Japan, because I
want to meet with Takasu and Igarashi again to continue some collaborative
work on the axiomatization of knowledge.  Therefore, I will try to arrange
to fly from Novosibirsk to Khabarovsk, go by train to Nakhodka and boat to
Japan; I assume this is still the best way.  However, I am not sure I can
arrange this from here so that if you can help, I would be grateful.

.reg